A Reconstruction using the Carneades Argumentation Framework
نویسندگان
چکیده
The Pierson vs. Post case [1] has become an important benchmark in the field of AI and Law for computational models of argumentation. In [2], BenchCapon used Pierson vs. Post to motivate the use of values and value preferences in his theory-construction account of legal argument. And in a more a recent paper by Atkinson, Bench-Capon and McBurney [3], it was used to illustrate a formalization of an argumentation scheme for practical reasoning. Here we offer yet another reconstruction of Pierson vs. Post, using our Carneades Argumentation Framework, a formal mathematical model of argument structure and evaluation based on Walton’s theory of argumentation [4], and compare it to this prior work. Carneades, named in honor of the Greek skeptic philosopher who emphasized the importance of plausible reasoning, applies proof standards [5] to determine the defensibility of arguments and the acceptability of statements on an issue-by-issue basis.
منابع مشابه
Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation
Carneades is a recently proposed formalism for structured argumentation with varying proof standards, inspired by legal reasoning but more generally applicable. Its distinctive feature is that each statement can be given its own proof standard, which is claimed to allow a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proo...
متن کاملRelating Carneades with Abstract Argumentation
Carneades is a recently proposed formalism for structured argumentation with varying proof standards. An open question is its relation with Dung’s seminal abstract approach to argumentation. In this paper the two formalisms are formally related by translating Carneades into ASPIC, another recently proposed formalism for structured argumentation. Since ASPIC is defined to generate Dungstyle abst...
متن کاملThe Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions
We present a formal, mathematical model of argument structure and evaluation, called the Carneades Argumentation Framework, which applies proof standards [5] to determine the defensibility of arguments and the acceptability of statements on an issue-by-issue basis. Carneades uses three kinds of premises (ordinary premises, presumptions and exceptions) and information about the dialectical statu...
متن کاملA principled approach to the implementation of argumentation models
Argumentation theory combines philosophical concepts and computational models to deliver a practical approach to reasoning that handles uncertain information and possibly conflicting viewpoints. This paper focuses on the structured approach to argumentation that incorporates domain specific knowledge and argumentation schemes. There is a lack of implementations and implementation methods for mo...
متن کاملThesis for the degree of Master of Science Relating proof standards and abstract argumentation
The basic idea of argumentation is to construct arguments in favour of and against a certain statement, selecting the acceptable arguments, and in the end determining which statements hold. To explain how arguments defend their position, they can be structured by their used knowledge and rules. Several approaches to structured argumentation have been developed and subsequently related through a...
متن کامل